ePMC

Benchmark
Model:eajs v.1 (MDP)
Parameter(s)N = 5, energy_capacity = 250, B = 11
Property:ExpUtil (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files eajs.5.prism --model-input-type prism --property-input-files eajs.props --property-input-names ExpUtil --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const energy_capacity=250,B=11
Execution
Walltime:205.12674951553345s
Return code:1
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property ExpUtil
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.ArrayList.grow(ArrayList.java:237)
	at java.base/java.util.ArrayList.addAll(ArrayList.java:676)
	at epmc.expression.standard.ExpressionOperator.<init>(ExpressionOperator.java:101)
	at epmc.expression.standard.ExpressionOperator$Builder.build(ExpressionOperator.java:75)
	at epmc.expression.standard.ExpressionOperator.replaceChildren(ExpressionOperator.java:138)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:939)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:885)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:937)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:885)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:937)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:885)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:937)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:885)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:937)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:885)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:937)
	at epmc.prism.model.convert.PRISM2JANIConverter.prism2jani(PRISM2JANIConverter.java:885)
	at epmc.prism.model.convert.PRISM2JANIConverter.moduleToAutomaton(PRISM2JANIConverter.java:815)
	at epmc.prism.model.convert.PRISM2JANIConverter.computeAutomata(PRISM2JANIConverter.java:662)
	at epmc.prism.model.convert.PRISM2JANIConverter.convert(PRISM2JANIConverter.java:228)
	at epmc.prism.model.LowLevelPRISMBuilder.toJANI(LowLevelPRISMBuilder.java:80)
	at epmc.prism.model.LowLevelPRISMBuilder.build(LowLevelPRISMBuilder.java:93)
	at epmc.modelchecker.UtilModelChecker.buildLowLevel(UtilModelChecker.java:150)
	at epmc.modelchecker.UtilModelChecker.buildLowLevel(UtilModelChecker.java:169)
	at epmc.modelchecker.ModelChecker.prepareLowLevel(ModelChecker.java:222)
	at epmc.modelchecker.ModelChecker.checkProperty(ModelChecker.java:247)
	at epmc.modelchecker.ModelChecker.check(ModelChecker.java:192)
	at epmc.command.CommandTaskCheck.executeInServer(CommandTaskCheck.java:64)
	at epmc.jani.interaction.Analyse.execute(Analyse.java:111)
	at epmc.jani.interaction.commandline.StartInConsoleJaniInteractionNoJani.execute(StartInConsoleJaniInteractionNoJani.java:91)
	at epmc.jani.interaction.commandline.StartInConsoleJaniInteractionNoJani.process(StartInConsoleJaniInteractionNoJani.java:68)
	at epmc.main.EPMC.main(EPMC.java:52)